Crafted Publication

CNFgen: A Generator of Crafted Benchmarks

We present CNFgen, a generator of combinatorial benchmarks in DIMACS and OPB format. The proof complexity literature is a rich source not only of hard instances but also of instances that are theoretically easy but “extremal” in different ways, and therefore of potential interest in the context of SAT solving. Since most of these formulas appear not to be very well known in the SAT community, h...

Publication, publication, publication…

2013 has been a year of relative stability at the Annals. After two years of rapid changes in staff and implementation of our electronic manuscript handling, this year we had time and people to consolidate. Authors in particular will have noticed the hard work of Kim Lewry, our Editorial Assistant, who has tracked down papers that were stuck in the system and has made a substantial contribution...

Duplicate Publication Duplicate Publication Duplicate Publication

priorities permit. The comments should not exceed 350 words in length, with a maximum of five references; one figure or table can be printed. Exceptions may occur under particular circumstances. Contributions may include comments on articles published in this periodical, or they may be reports of unique educational character. Please include a cover letter with a complete list of authors (includ...

redundant publication' or 'duplicate publication' in the biomedical literature

Enhancing Neural Disfluency Detection with Hand-Crafted Features

In this paper, we apply a bidirectional Long Short-Term Memory with a Conditional Random Field to the task of disfluency detection. Long-range dependencies is one of the core problems for disfluency detection. Our model handles long-range dependencies by both using the Long Short-Term Memory and hand-crafted discrete features. Experiments show that utilizing the hand-crafted discrete features s...